$\forall$$p$:finite{-}prob{-}space. p{-}outcome($p$) $\in$ Type